Fix a gtk-builder-tool substitution.
authorArnaud Bonatti <arnaud.bonatti@gmail.com>
Sun, 12 Apr 2020 15:32:40 +0000 (17:32 +0200)
committerArnaud Bonatti <arnaud.bonatti@gmail.com>
Sun, 12 Apr 2020 17:28:29 +0000 (19:28 +0200)
commit17ec74da3546dabf7c6addfc07b16985932b3963
tree4c5173c542da0acdac106458bafbbe7e15fb74fa
parent12990b3520cb148d6a24f322f42240b7a6448d66
Fix a gtk-builder-tool substitution.

The margin-left and margin-right properties have been
removed in favor of margin-start and margin-end ones.
gtk/tools/gtk-builder-tool-simplify.c